Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
571	Editors: RAFAEL HÜNTELMANN (Frankfurt) UWE MEIXNER (Regensburg) • ERWIN TEGTMEIER (Mannheim) Volume[removed]) • No. 1 Articles Add to Reading List Source URL: www.metaphysica.de Language: English - Date: 2006-02-07 06:37:40 Tropes Ontology Mereology Predicate logic The Unreality of Time Event Philosophy of space and time Ordinal number Infinity Philosophy of time Philosophy Metaphysics
572	Commentary/Hurford: The neural basis of predicate-argument structure calls “the Aristotle problem,” to which a simple solution will be proposed. It will be useful to separate two senses of predicate: (1) in its moder Add to Reading List Source URL: www.ruhr-uni-bochum.de Language: English - Date: 2010-02-14 10:30:34 Grammar Parts of speech Semantics Cerebrum Brain Predicate Parietal lobe Property Language Logic Linguistics Cognitive science
573	Structure, Dependence and Categories L. A. Paul UNC-Chapel Hill My central thesis: Ontological structure depends on the ontological categories. There is only Add to Reading List Source URL: www.bris.ac.uk Language: English - Date: 2011-04-08 07:09:14 Ontology Topology Mereology Predicate logic Substance theory Coproduct Causality Economic model Universal quantification Mathematical logic Logic Mathematics
574	Complete and Annotated Bibliography of Nino Cocchiarella Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2013-12-29 03:25:21 Predicate logic Semantics Philosophy of language Ontology Philosophical logic Nino Cocchiarella Philosophy of logic Second-order logic Predicate Logic Mathematical logic Philosophy
575	Quantifiers and n-ary Binders: an OpenMath Standard Enhancement Proposal Lars Hellstr¨om Department of Mathematics and Mathematical Statistics, Ume˚ a University, Ume˚ a, Sweden; Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-06 08:50:41 Predicate logic Markup languages Mathematical markup languages Computability theory OpenMath First-order logic Quantification MathML Lambda calculus Logic Mathematical logic Mathematics
576	Title: The Modality of Quantification Abstract: In reaction to some puzzling interactions between quantifiers, Add to Reading List Source URL: philosophy.ucsd.edu Language: English - Date: 2014-03-27 13:08:41 Quantification Philosophical logic Predicate logic Linguistic modality Logic Semantics Science
577	Comments on Ted Sider’s “Which questions are substantive?” J.R.G.Williams∗ (March 25, 2007) Ted Sider’s paper ‘Which disputes are substantive?’ is incredibly rich and stimulating. I want to raise three ques Add to Reading List Source URL: www.personal.leeds.ac.uk Language: English - Date: 2007-03-25 17:49:52 Predicate logic Semantics Statements Philosophy of language Propositional calculus Proposition Quantification Naturalness Type theory Logic Mathematical logic Science
578	On Specifying Truth-Conditions∗ Agust´ın Rayo Massachusetts Institute of Technology December 4, 2007 Consider a committalist—someone who believes that assertions of a sentence like ‘the number of the planets is 8 Add to Reading List Source URL: web.mit.edu Language: English - Date: 2007-12-04 13:13:48 Predicate logic Model theory Philosophy of language Semantics First-order logic Function Proposition Constructible universe Quantification Logic Mathematical logic Mathematics
579	Philosophy and Phenomenological Research Philosophy and Phenomenological Research Vol. LXXXI No. 2, September 2010 2010 Philosophy and Phenomenological Research, LLC Add to Reading List Source URL: www.jimpryor.net Language: English - Date: 2012-12-08 09:29:54 Propositional calculus Predicate logic Philosophy of language Semantics Proposition Expression Free variables and bound variables Predicate Function Logic Mathematics Mathematical logic
580	Term Indexing for the LEO-II Prover Frank Theiß1 Christoph Benzm¨ uller2 1 FR Informatik, Universit¨at des Saarlandes, Saarbr¨ Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:12:16 Science Searching Mathematical notation Predicate logic Theoretical computer science Free variables and bound variables De Bruijn index De Bruijn notation Variable Mathematics Lambda calculus Information science

UPDATE